3141. Subscriber loop signaling and transmission handbook : digital
پدیدآورنده : Reeve, Whitham D.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Telephone switching systems, Electronic , Telecommunication - Standards , Digital communications
رده :
TK
6397
.
R443
3142. Subscriber loop signaling and transmission handbook: digital
پدیدآورنده : Reeve, Whitham D.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Telephone switching systems, Electronic,، Telecommunication- Standards,، Digital communications
رده :
TK
6397
.
R443
3143. Successful software for small computers: structured programming in BASIC for science, business and education
پدیدآورنده : Beech, Graham
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Electronic digital computers-- Programming,، Basic )Computer program language(
رده :
QA
76
.
6
.
B451
3144. Switched-currents :
پدیدآورنده : edited by C. Toumazou, J. B. Hughes & N. C. Battersby
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Analog electronic systems,Digital electronics,Switching circuits
3145. Symbolic model checking
پدیدآورنده : by Kenneth L. McMillan
موضوع : Electronic digital computers - Circuits - Design - Data processing,Symbolic circuit analysis - Data processing,Logic design - Data processing
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
3146. Synthesis and optimization of DSP algorithms
پدیدآورنده : / by George A. Constantinides, Peter Y.K. Cheung and Wayne Luk
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Signal processing , Digital techniques,Digital communications , Equipment and supplies , Design , Data processing,Electronic books. , local
رده :
E-BOOK
3147. #Synthesis and optimization of digital circuits
پدیدآورنده : #Giovanni De Micheli
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع : Digital integrated circuits- Design and construction- Data processing ،Digital electronic- Data processing
رده :
#
TK
،#.
D4
3148. Synthesis of arithmetic circuitsFPGA, ASIC, and embedded systems. ]CD[,Synthesis of arithmetic circuits )Online(
پدیدآورنده : Deschamps, Jean-Pierre,Jean-Pierre Deschamps, Gعery Jean Antoine Bioul, Gustavo D. Sutter
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Computer arithmetic and logic units,، Digital electronics,، Embedded computer systems,، Electronic books
رده :
TK7895
.
A65
D47
2006
3149. Synthesis of digital designs from recursion equations
پدیدآورنده : Johnson, Steven D, Steven Dexter
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Digital electronics-- Data processing,، Electronic circuit design-- Data processing,، Recursive functions
رده :
TK
7868
.
D5
.
J64
1984
3150. System-On-A-Chip verification :methodology and techniques
پدیدآورنده : Rashinkar, Prakash
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : ، System design,Design and construction ، Electronic digital computers,Development ، Computer software
رده :
QA
76
.
9
.
S88
R37
2001
3151. System analysis by digital computer
پدیدآورنده : Kuo,Franklin F.ed
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Engineering ، Electronic data processing,، System analysis,Programming ، Electronic digital computers
رده :
TA
345
.
K86
3152. System analysis by digital computer
پدیدآورنده : Kuo, Franklin F
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Engineering-- Data processing,، System analysis,، Electronic digital computers-- Programming
رده :
TA
345
.
K86
3153. System analysis by digital computer
پدیدآورنده : Kuo, Franklin F., 4391- ed
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Engineering- Data processing,، System analysis,، Electronic digital computers- Programming
رده :
TA
345
.
K86
3154. System design from porvably correct constructs: the beginning of true software engineering
پدیدآورنده : Martin, James
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، System design,Programming ، Electronic digital computers,، Debugging in computer science
رده :
QA
76
.
9
.
S88
M37
1985
3155. System design from provably correct constructs:the beginnings of
پدیدآورنده : MARTIN,JAMES
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : SYSTEM DESIGN , ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING , DEBUGGING IN COMPUTER SCIENCE
رده :
QA
76
.
9
.
S88
M37
3156. System-level power optimization for wireless multimedia communication :
پدیدآورنده : edited by Ramesh Karri, David Goodman.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Electric power-- Conservation.,Electronic digital computers-- Power supply.,Multimedia systems-- Power supply.,Wireless communication systems-- Power supply.,Electric power-- Conservation.,Electronic digital computers-- Power supply.,TECHNOLOGY & ENGINEERING-- Telecommunications.
رده :
TK7895
.
P68
S97
2002eb
3157. System modeling and analysis :foundations of system performance evaluation
پدیدآورنده : Kobayashi, Hisashi.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع : Evaluation ، Electronic digital computers,، System analysis,، Queuing theory
رده :
QA
76
.
5
.
K578
2009
3158. System modeling and analysis : foundations of system performance evaluation
پدیدآورنده : Kobayashi, Hisashi
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Evaluation ، Electronic digital computers,، System analysis,، Queuing theory
رده :
QA
76
.
5
.
K62S9
3159. System simulation : programming styles and languages
پدیدآورنده : Kreutzer, Wolfgang.
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع : ، Digital computer simulation,، Electronic digital computers- Programming,، Programming languages )Electronic computers(
3160. System simulation:programming styles & languages
پدیدآورنده : KREUTZER,WOLFGANG
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : DIGITAL COMPUTER SIMULATION , ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING , PROGRAMMING LANGUAGES
رده :
QA
76
.
9
.
C65
K74